$\forall$$A$, $B$:Type, $f$:($B$$\rightarrow$$A$), $x$:$B$ List, $i$, $j$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$x$$\parallel$}}$.
\\[0ex]map($f$;swap($x$;$i$;$j$)) $=$ swap(map($f$;$x$);$i$;$j$) $\in$ $A$ List